-
1 formal specification language
Большой англо-русский и русско-английский словарь > formal specification language
-
2 formal specification language
Англо-русский словарь технических терминов > formal specification language
-
3 formal specification language
Техника: язык формальных спецификацийУниверсальный англо-русский словарь > formal specification language
-
4 formal method: A software engineering method that uses a formal specification language — that is, a language with mathematically defined syntax and semantics
Общая лексика: формальный метод: метод проектирования программ, в котором используется язык формальных спеУниверсальный англо-русский словарь > formal method: A software engineering method that uses a formal specification language — that is, a language with mathematically defined syntax and semantics
-
5 language
-
absolute language
-
algorithmical language
-
algorithmic language
-
applicative language
-
artificial language
-
assembler language
-
block-structured language
-
Boolean algebra-based language
-
Boolean based language
-
command language
-
compilative language
-
compiler language
-
computer language
-
computer-dependent language
-
computer-independent language
-
computer-oriented language
-
computer-sensitive language
-
context-free language
-
control language
-
conversational language
-
core language
-
data language
- data manipulation language -
data-base language
-
data-definition language
-
data-query language
-
declarative language
-
deduction-oriented language
-
design language
-
explicit language
-
expression-oriented language
-
extensible language
-
FG-kernel language
-
finite state language
-
formal specification language
-
function language
-
functional language
-
graphics-oriented language
-
graphics language
-
hardware-based language
-
high-level language
-
host language
-
human language
-
human-oriented language
-
hybrid language
-
imperative language
-
input language
-
instruction language
-
interactive language
-
interface language
-
intermediate language
-
interpretive language
-
job control language
-
kernel language
-
knowledge representation language
-
list-processing language
-
low-level language
-
machine language
-
machine-dependent language
-
machine-independent language
-
machine-oriented language
-
macro language
-
meta language
-
mnemonic language
-
narrative language
-
native language
-
native-mode language
-
natural language
-
NC-AM language
-
network control language
-
nonprocedural language
-
nucleus language
-
object language
-
object-oriented language
-
original language
-
parallel language
-
plain language
-
privacy language
-
problem solving language
-
problem-oriented language
-
procedural language
-
program development language
-
program language
-
programming language
-
pseudo language
-
query language
-
real-time language
-
reference language
-
regular language
-
relational language
-
retrieval language
-
robot language
-
rule language
-
semantic language
-
sentential language
-
simulation language
-
source language
-
specification description language
-
specification language
-
stratified language
-
structured language
-
symbolic language
-
system language
-
system-oriented language
-
target language
-
typed language
-
unstratified language
-
untyped language
-
user-oriented language
-
world-modeling language -
6 specification
= spec1) описание, спецификациядокумент, который в идеале содержит полное, точное, детальное описание функций и/или параметров (например, продукта, программы, стандарта и т. п.), а также, возможно, процедур, позволяющих определить, соответствует ли продукт данной спецификации.the current specifications for Java platforms — действующие в настоящее время спецификации Java-платформ см. тж. component specification, computational specification, data specification, description, design specification, documentation, draft specification, engineering specification, file specification, formal specification, format specification, functional specification, input/output specification, language specification, layered specification, military specifications, operational specification, program specification, requirements, requirements specification, specification language, specification sheet, syntax specification, test design specification, test specification, timing specifications
2) технические характеристики, технические условия, ТУдокумент, описывающий требования, которым должны соответствовать продукт или услуга3) детализация, переченьсм. тж. specification sheetАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > specification
-
7 language
1) языка) естественный язык, средство человеческого общенияб) система знаков, жестов или сигналов для передачи или хранения информациив) стильг) речь2) языкознание, лингвистика•- actor language
- agent communication language
- a-hardware programming language - application-oriented language
- applicative language
- a-programming language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language - business-oriented programming language
- categorical language - configuration language
- constraint language
- combined programming language
- command language
- common language
- common business-oriented language
- compiled language
- compiler language
- computer language
- computer-dependent language - computer-oriented language
- computer-sensitive language
- concurrent language - context- sensitive language
- conversational language
- coordinate language
- database language
- database query language - data structure language
- digital system design language
- declarative language
- declarative markup language
- definitional language
- definitional constraint language
- design language
- device media control language - dynamically scoped language - elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible language - formalized language - functional language
- functional programming language - graph-oriented language - high-order language
- host language - hypersymbol language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language - interpreted language - Java programming language - lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language - meta language
- mnemonic language
- musical language - native-mode language
- natural language - nonprocedural language
- object language
- object-oriented language - physical language
- picture query language
- portable language
- portable standard language
- polymorphic language - print control language
- problem-oriented language
- problem statement language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robot-level language
- robotic control language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language - sign language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification language - stratified language
- stream language
- string-handling language - strongly-typed language - symbolic language - thing language - tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language - well-structured programming language -
8 language
1) языка) естественный язык, средство человеческого общенияб) система знаков, жестов или сигналов для передачи или хранения информациив) стильг) речь2) языкознание, лингвистика•- a programming language
- abstract machine language
- actor language
- agent communication language
- algebraic logic functional language
- algorithmic language
- amorhic language
- application-oriented language
- applicative language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language
- axiomatic architecture description language
- basic combined programming language
- block-structured language
- boundary scan description language
- business-oriented language
- business-oriented programming language
- categorical abstract machine language
- categorical language
- cellular language
- combined programming language
- command language
- common business-oriented language
- common language
- compiled language
- compiler language
- computer hardware description language
- computer language
- computer-dependent language
- computer-independent language
- computer-oriented language
- computer-sensitive language
- concurrent language
- configuration language
- constraint language
- context-free language
- context-sensitive language
- conversational language
- coordinate language
- data definition language
- data description language
- data manipulation language
- data structure language
- database language
- database query language
- declarative language
- declarative markup language
- definitional constraint language
- definitional language
- design language
- device media control language
- digital system design language
- document style semantics and specification language
- domain-specific language
- dynamic hypertext markup language
- dynamic simulation language
- dynamically scoped language
- elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible hypertext markup language
- extensible language
- extensible markup language
- fabricated language
- fifth-generation language
- first-generation language
- formal language
- formalized language
- fourth-generation language
- frame language
- function graph language
- functional language
- functional programming language
- geometrical layout description language
- graphics language
- graph-oriented language
- hardware description language
- Hewlett-Packard graphics language
- Hewlett-Packard printer control language
- high-level language
- high-order language
- host language
- hypersymbol language
- hypertext markup language plus
- hypertext markup language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language
- interactive set language
- intermediate language
- interpreted language
- Java interface definition language
- Java language
- Java programming language
- job control language
- Jules' own version of the international algorithmic language
- knowledge query and manipulation language
- left-associative language
- lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language
- man-machine language
- mathematical markup language
- matrix-based programming language
- meta language
- mnemonic language
- musical language
- my favorite toy language
- native language
- native-mode language
- natural language
- network control language
- network description language
- noninteractive language
- nonprocedural language
- object language
- object-oriented language
- page description language
- parallel object-oriented language
- partial differential equation language
- pattern-matching language
- physical language
- picture query language
- polymorphic language
- portable language
- portable standard language
- practical extraction and report language
- prescriptive language
- print control language
- problem statement language
- problem-oriented language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robotic control language
- robot-level language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language
- second-generation language
- sense language
- server-parsed hypertext markup language
- set language
- sign language
- simulation language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification and assertion language
- specification language
- stack-based language
- standard generalized markup language
- statically scoped language
- stratified language
- stream language
- string-handling language
- string-oriented symbolic language
- string-processing language
- strongly-typed language
- structural design language
- structured query language
- subset language
- symbolic language
- symbolic layout description language
- synchronized multimedia integration language
- target language
- thing language
- third-generation language
- threaded language
- tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language
- very-high-speed integrated circuit hardware description language
- Vienna definition language
- virtual reality modeling language
- visual language
- well-structured programming language
- wireless markup languageThe New English-Russian Dictionary of Radio-electronics > language
-
9 language
язык || языковой- action description language
- actual machine language
- agent programming language
- AI language
- Algol-like language
- algorithmical language
- algorithmic language
- application-oriented language
- applicative language
- artificial language
- assembler language
- assembly language
- assembly-output language
- assignment-free language
- behavioral language
- bidirectional language
- block-structured language
- Boolean-based language
- business definition language
- business-oriented language
- calculus-type language
- C-based language
- client-side language
- code language
- command language
- compiled language
- compiler language
- component definition language
- composite language
- computer language
- computer-dependent language
- computer-independent language
- computer-oriented language
- computer-programming language
- computer-sensitive language
- consensus language
- context-free language
- control language
- conversational language
- core language
- data definition language
- data description language
- data language
- data manipulation language
- data storage description language
- database language
- data-entry language
- data-flow language
- data-query language
- declarative language
- defining language
- descriptive language
- descriptor language
- design language
- device media control language
- direct execution language
- directly interpretable language
- Dyck language
- end-user language
- escape language
- evolutive language
- executive-control language
- executive language
- explicit language
- extensible language
- fabricated language
- finite state language
- flow language
- foreign language
- formalized language
- frame-based language
- freestanding language
- functional language
- generated language
- graphics language
- graph-oriented language
- hardware-description language
- hardware language
- higher-level language
- higher-order language
- host language
- human language
- human-oriented language
- human-readable language
- indexed language
- information retrieval language
- informational language
- information language
- inherently ambiguous language
- input language
- input/output language
- instruction language
- integrated language
- interactive language
- interim language
- intermediate language
- internal language
- interpreted language
- job control language
- job-oriented language
- knowledge representation language
- language pair
- letter-equivalent languages
- linear language
- linear-programming language
- list-processing language
- logic-type language
- low-level language
- machine language
- machine-dependent language
- machine-independent language
- machine-oriented language
- macroassembly language
- macro language
- macroinstruction language
- macroprogramming language
- man-to-computer language
- mathematical formular language
- memory management language
- mnemonic language
- modeling language
- native language
- natural language
- NC programming language
- nested language
- network-oriented language
- nonprocedural language
- numder language
- object language
- object modeling language
- object-oriented language
- one-dimensional language
- operator-oriented language
- original language
- page description language
- parallel language
- phrase structure language
- predicate language
- predicate logic-based language
- predicate logic language
- privacy language
- problem statement language
- problem-oriented language
- procedural language
- procedure-oriented language
- process control language
- production language
- program language
- programming language
- pseudo language
- pseudomachine language
- query language
- readable specification language
- reference language
- regular language
- relational language
- relational-type language
- representation language - requirements modeling language
- restricted language
- rule-based language
- ruly language
- schema language
- science-oriented language
- script language
- self-contained language
- semantic-formal language
- semiformal language
- sentential language
- serial language
- simulation language
- single-assignment language
- source language
- specialized language
- specification language
- stream-based language
- strict language
- structured programming language
- structured query language
- super language
- super-high-level language
- symbolic language
- symbolic programming language
- syntax language
- synthetic language
- system input language
- system language
- system-oriented language
- tabular language
- target language
- TC language
- time sharing language
- type-free language
- unified modeling language
- update language
- user language
- user-oriented language
- very-high-level languageEnglish-Russian dictionary of computer science and programming > language
-
10 language
- advanced Boolean expression language
- advanced continuous simulation language
- application control language
- application data description language
- asynchronous circuit design language
- basic design language for structure
- behavioral description language
- behavioral modeling language
- block diagram language
- block structured language
- computer language
- computer design language
- computer-sensitive language
- context-sensitive matrix language
- continuous system modeling program language
- continuous system simulation language
- control and simulation language
- data асcess system language
- declarative language
- design language
- digital design language
- formal layout description language
- general-purpose language
- geometrical layout description language
- graphics-oriented language
- hardware description language
- hierarchical specification language
- high-level language
- imperative language
- integrated-circuit design language
- linear information processing language
- linkage control language
- logic, timing, sequencing language
- low-level language
- machine-dependent language
- machine-independent language
- modeling language
- modular language
- multilevel-architecture description language
- network description language
- network restructuring language
- nonprocedural language
- operating-system simulation language
- operational control language
- operator-oriented language
- overview language
- parallel context-free array language
- problem-oriented language
- procedural language
- program assembly language
- rational language
- real-time language
- register transfer level language
- self-extending language
- structured design language
- structure description language
- symbolic layout description language
- type 0 1, 2, 3 language
- type 0 language -
11 language
1) язык || языковой2) машинный язык; набор символов ( машины)•- application-oriented language
- applicative language
- APT programming language
- APT-based language
- artificial language
- assembler language
- assembly language
- block diagram language
- calculus language
- classificatory indexing language
- command language
- communication-information language
- computer language
- context-free language
- context-sensitive language
- control language
- controlled language
- conversational programming language
- data definition language
- data description language
- data general language
- data general programming language
- data manipulation language
- data retrieval language
- data storage description language
- database control language
- database language
- database programming language
- definition language
- description indexing language
- description language
- descriptor indexing language
- DGL interpretative programming language
- documentary language
- domain-dependent language
- domain-independent language
- extended language
- extensible language
- formal language
- formalized language
- general-purpose language
- generic language
- geometry technology language
- global programming language
- graphics picture drawing language
- high-level language
- highly coded language
- hybrid language
- implementation language
- index retrieval language
- indexing language
- information language
- information processing language
- information retrieval language
- informational language
- information-algorithmic language
- interactive language
- interactive reader language
- intermediary language
- intermediate language
- interpretive language
- interrogation language
- ISO language
- job command language
- job control language
- language of science
- logical-information language
- machine control language
- machine language
- machinist's language
- manipulator-oriented language
- manufacturing application language
- meaning-representation language
- meta language
- native language
- natural language
- NC programming language
- numerical command language
- object description language
- object-oriented language
- operational performance analysis language
- plain language
- powerful programming language
- predicate calculus language
- predicate language
- predicate logic language
- problem-oriented language
- procedural language
- processing language
- process-oriented language
- production language
- production-rule language
- program language
- programming language
- query input language
- query language
- representation language
- retrieval language
- robotics language
- robot-programming language
- robot-specialized language
- rule-based programming language
- shop-oriented language
- Siman simulation language
- simulation language
- source language
- special interface programming language
- specification language
- state language
- structured query language
- switching language
- task description language
- task level language
- task-oriented language
- uncontrolled language
- very high level languageEnglish-Russian dictionary of mechanical engineering and automation > language
-
12 language
[ˈlæŋɡwɪdʒ]algorithmic language вчт. алгоритмический язык algorithmical language вчт. алгоритмическый язык applicative language вчт. функциональный язык artifical language вчт. искусственный язык artificial language вчт. искусственный язык assembler language вчт. язык ассемблера assembly language вчт. язык ассемблера authoring language вчт. язык для автоматизации творческой работы block-structured language вчт. язык с блочной структурой boolean-based language вчт. язык булевых операторов command language вчт. командный язык compiled language вчт. транслируемый язык compiler language вчт. язык транслятора computer language вчт. машинный язык computer-dependent language вчт. машинно-зависимый язык computer-oriented language вчт. машинно-ориентированный язык computer-sensitive language вчт. машинно-зависимый язык constraint language вчт. декларативный язык context-free language вчт. контекстно-свободный язык conversational language вчт. диалоговый язык conversational language вчт. язык диалога data definition language вчт. язык определения данных data description language вчт. язык описания данных data description language вчт. язык определения данных data language вчт. язык описания данных data manipulation language вчт. язык манипулирования данными data-base language вчт. язык базы данных data-query language вчт. язык запросов declarative language вчт. декларативный язык design language вчт. язык проектирования end-user language вчт. язык конечного пользователя extensible language вчт. расширяемый язык language язык; речь; finger language язык жестов, язык глухонемых foreign language иностранный язык formal language формальный язык frame language вчт. фреймовый язык high-level language вчт. язык высокого уровня host language вчт. включающий язык human language естественный язык language разг. брань (тж. bad language); I won't have any language here прошу не выражаться inflected language флективный язык information retrieval language информационно- поисковый язык information retrieval language информационно-поисковый язык input language вчт. входной язык interactive language вчт. диалоговый язык interpreted language вчт. интерпретируемый язык kernel language вчт. базовый язык knowledge representation language вчт. язык представления знаний language разг. брань (тж. bad language); I won't have any language here прошу не выражаться language стиль; язык писателя; the language of Shakespeare язык Шекспира language язык language язык; речь; finger language язык жестов, язык глухонемых language стиль; язык писателя; the language of Shakespeare язык Шекспира language of the case язык судебного делопроизводства legal language юридический язык legal language язык права low-level language вчт. язык низкого уровня machine language вчт. машинный язык machine-dependent language вчт. машинно-зависимый язык machine-independent language вчт. машинно-независимый язык machine-oriented language вчт. машинно-ориентрированный язык macro language вчт. макроязык macroinstruction language вчт. язык макрокоманд memory management language вчт. язык управления памятью meta language вчт. метаязык minority language язык национального меньшинства mnemonic language вчт. символический язык national language государственный язык native language вчт. собственный язык машины natural language вчт. естественный язык nonprocedural language вчт. непроцедурный язык object language вчт. объектный язык official language официальный язык original language исходный язык parallel language вчт. язык параллельного программирования predicate language вчт. язык предикатов problem statement language вчт. язык постановки задачи problem-oriented language вчт. проблемно-ориентированный язык procedural language вчт. процедурный язык procedural language процедурный язык procedure-oriented language вчт. процедурно ориентированный язык production language вчт. продукционный язык program language вчт. язык программирования programming language вчт. язык программирования query language вчт. язык запросов register transfer language вчт. язык межрегистровых пересылок regular language вчт. регулярный язык relational language вчт. реляционный язык representation language вчт. язык представлений restricted language вчт. упрощенная версия языка rule language вчт. язык правил rule-based language вчт. язык продукционных правил rule-oriented language вчт. язык логического программирования script language вчт. язык сценариев serial language вчт. язык последовательного программирования source language вчт. исходный язык source language cmp. исходный язык specification language вчт. язык спецификаций subset language вчт. подмножество языка symbolic language вчт. символический язык symbolic language comp. символический язык system language вчт. системный язык tabular language вчт. табличный язык target language вчт. выходной язык target language выходной язык target language объектный язык threaded language вчт. язык транслируемый в шитый код typed language вчт. широко используемый язык typeless language вчт. безтиповый язык unchecked language вчт. язык без контроля типов untyped language вчт. язык без контроля типов update language вчт. язык корректирующих запросов user language вчт. язык пользователя world language международный язык -
13 language
ˈlæŋɡwɪdʒ сущ. язык а) (как способ и средство общения) речь to butcher, murder a language ≈ искажать язык to enrich a language ≈ обогащать язык to learn, master a language ≈ учить язык to plan a language ≈ регулировать язык to purify a language ≈ очищать язык (проведение некоторых мер по выведению из языка тех или иных пластов лексики или грамматических форм) to speak (in) a, to use a language ≈ говорить на языке to standardize a language ≈ стандартизировать язык international, world language ≈ международный язык, язык международного общения dead, extinct language ≈ мертвый язык language acquisition ≈ обучение языку language maintenance ≈ поддержание (знания) языка spoken language ≈ разговорный язык written language ≈ письменный язык native language ≈ родной язык foreign language ≈ иностранный язык national language ≈ национальный язык official language ≈ официальный язык second language ≈ второй язык universal language ≈ универсальный язык formal language ≈ язык официального общения idiomatic language ≈ язык, богатый идиомами nontechnical language ≈ нетехнический язык substandard language ≈ язык, не соответствующий языковой норме technical language ≈ технический язык ancient language ≈ древний язык classical language ≈ классический язык creolized language ≈ креолизованный язык living language ≈ живой язык modern language ≈ современный язык natural language ≈ естественный язык trade language ≈ язык торгового общения agglutinative language ≈ агглютинативный язык inflecting language ≈ флективный язык isolating language ≈ изолирующий язык synthetic language ≈ синтетический язык tone language ≈ язык с тоновым ударением б) (как знаковая система) sign language ≈ язык знаков artificial language ≈ искусственный язык finger language ≈ язык жестов, язык глухонемых в) (языковой или литературный стиль;
язык писателя) the language of Shakespeare ≈ язык Шекспира bad, coarse, crude, dirty, foul, nasty, obscene, offensive, unprintable, vile, vulgar language ≈ грубый, грязный, неприличный, оскорбительный, непечатный, вульгарный язык rough, strong, vituperative language ≈ грубый, бранный язык everyday, plain, simple language ≈ простой, повседневный язык flowery language ≈ цветистый язык (богатый метафорами, сравнениями и др. литературными тропами) colloquial, informal language ≈ язык неофициального общения, разговорный язык literary, standard language ≈ литературный язык abusive language ≈ брань, ругательства children's language ≈ детский язык diplomatic language ≈ дипломатический язык polite language ≈ вежливый язык rich language ≈ богатый язык Syn: wording г) (как способ кодирования) object, target language ≈ язык, на который переводят source language ≈ язык, с которого переводят (в машинном переводе) computer language machine language programming language язык - the Russian * русский язык - finger * язык жестов, язык глухонемых - living * живой язык - working * рабочий язык (в международных организациях) - the working *s of this committee are English and Russian рабочими языками этого комитета являются русский и английский - * arts (американизм) обучение чтению, письму, литературе, словесность (школьный предмет) - * shift переключение на другой язык (о говорящем на иностранном языке) - * department отдел переводов (ООН) - a degree in *s диплом об окончании филологического факультета или института иностранных языков - science of * языкознание речь - spoken * разгговорный язык;
устная речь - written * письменость;
письменный язык - articulate * членораздельная речь - literary * литературный язык - substandard * просторечие - he has a great command of * он прекрасно владеет языком, у него прекрасная речь характер языка;
стиль, слог - fine * изысканный язык, цветистый стиль - strong * сильные выражения - bad * сквернословие - * of poetry язык поэзии - business * деловая речь;
язык деловой переписки - * of law юридический язык - diplomatic * дипломатический язык - the * of Shakespeare язык Шекспира (дипломатическое) формулировка( компьютерное) язык программирования ЭВМ > not to speak the same * совершенно не понимать друг друга > they don't speak the same * они говорят на разных языках algorithmic ~ вчт. алгоритмический язык algorithmical ~ вчт. алгоритмическый язык applicative ~ вчт. функциональный язык artifical ~ вчт. искусственный язык artificial ~ вчт. искусственный язык assembler ~ вчт. язык ассемблера assembly ~ вчт. язык ассемблера authoring ~ вчт. язык для автоматизации творческой работы block-structured ~ вчт. язык с блочной структурой boolean-based ~ вчт. язык булевых операторов command ~ вчт. командный язык compiled ~ вчт. транслируемый язык compiler ~ вчт. язык транслятора computer ~ вчт. машинный язык computer-dependent ~ вчт. машинно-зависимый язык computer-oriented ~ вчт. машинно-ориентированный язык computer-sensitive ~ вчт. машинно-зависимый язык constraint ~ вчт. декларативный язык context-free ~ вчт. контекстно-свободный язык conversational ~ вчт. диалоговый язык conversational ~ вчт. язык диалога data definition ~ вчт. язык определения данных data description ~ вчт. язык описания данных data description ~ вчт. язык определения данных data ~ вчт. язык описания данных data manipulation ~ вчт. язык манипулирования данными data-base ~ вчт. язык базы данных data-query ~ вчт. язык запросов declarative ~ вчт. декларативный язык design ~ вчт. язык проектирования end-user ~ вчт. язык конечного пользователя extensible ~ вчт. расширяемый язык ~ язык;
речь;
finger language язык жестов, язык глухонемых foreign ~ иностранный язык formal ~ формальный язык frame ~ вчт. фреймовый язык high-level ~ вчт. язык высокого уровня host ~ вчт. включающий язык human ~ естественный язык language разг. брань (тж. bad language) ;
I won't have any language here прошу не выражаться inflected ~ флективный язык information retrieval ~ информационно- поисковый язык information retrieval ~ информационно-поисковый язык input ~ вчт. входной язык interactive ~ вчт. диалоговый язык interpreted ~ вчт. интерпретируемый язык kernel ~ вчт. базовый язык knowledge representation ~ вчт. язык представления знаний language разг. брань (тж. bad language) ;
I won't have any language here прошу не выражаться ~ стиль;
язык писателя;
the language of Shakespeare язык Шекспира ~ язык ~ язык;
речь;
finger language язык жестов, язык глухонемых ~ стиль;
язык писателя;
the language of Shakespeare язык Шекспира ~ of the case язык судебного делопроизводства legal ~ юридический язык legal ~ язык права low-level ~ вчт. язык низкого уровня machine ~ вчт. машинный язык machine-dependent ~ вчт. машинно-зависимый язык machine-independent ~ вчт. машинно-независимый язык machine-oriented ~ вчт. машинно-ориентрированный язык macro ~ вчт. макроязык macroinstruction ~ вчт. язык макрокоманд memory management ~ вчт. язык управления памятью meta ~ вчт. метаязык minority ~ язык национального меньшинства mnemonic ~ вчт. символический язык national ~ государственный язык native ~ вчт. собственный язык машины natural ~ вчт. естественный язык nonprocedural ~ вчт. непроцедурный язык object ~ вчт. объектный язык official ~ официальный язык original ~ исходный язык parallel ~ вчт. язык параллельного программирования predicate ~ вчт. язык предикатов problem statement ~ вчт. язык постановки задачи problem-oriented ~ вчт. проблемно-ориентированный язык procedural ~ вчт. процедурный язык procedural ~ процедурный язык procedure-oriented ~ вчт. процедурно ориентированный язык production ~ вчт. продукционный язык program ~ вчт. язык программирования programming ~ вчт. язык программирования query ~ вчт. язык запросов register transfer ~ вчт. язык межрегистровых пересылок regular ~ вчт. регулярный язык relational ~ вчт. реляционный язык representation ~ вчт. язык представлений restricted ~ вчт. упрощенная версия языка rule ~ вчт. язык правил rule-based ~ вчт. язык продукционных правил rule-oriented ~ вчт. язык логического программирования script ~ вчт. язык сценариев serial ~ вчт. язык последовательного программирования source ~ вчт. исходный язык source ~ cmp. исходный язык specification ~ вчт. язык спецификаций subset ~ вчт. подмножество языка symbolic ~ вчт. символический язык symbolic ~ comp. символический язык system ~ вчт. системный язык tabular ~ вчт. табличный язык target ~ вчт. выходной язык target ~ выходной язык target ~ объектный язык threaded ~ вчт. язык транслируемый в шитый код typed ~ вчт. широко используемый язык typeless ~ вчт. безтиповый язык unchecked ~ вчт. язык без контроля типов untyped ~ вчт. язык без контроля типов update ~ вчт. язык корректирующих запросов user ~ вчт. язык пользователя world ~ международный языкБольшой англо-русский и русско-английский словарь > language
-
14 language definition
спецификации (описание, определение) языка программированиясостит из трёх главных частей: синтаксиса (syntax), семантики (semantics) и прагматики (pragmatics).The only way to master formal methods of language definition is to practice writing and reading language specifications. (К. Slonneger) — Единственный способ освоения формальных методов описания языков программирования - это практическое составление и чтение спецификаций ЯВУ.
Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > language definition
-
15 язык формальных спецификаций
Большой англо-русский и русско-английский словарь > язык формальных спецификаций
-
16 job
‹ob1) (a person's daily work or employment: She has a job as a bank-clerk; Some of the unemployed men have been out of a job for four years.) trabajo2) (a piece of work or a task: I have several jobs to do before going to bed.) tarea•- a good job
- have a job
- just the job
- make the best of a bad job
job n1. trabajo / empleowhat is your job? ¿en qué trabajas? / ¿cuál es tu trabajo?2. tarea / trabajoit's a good job... menos mal que...tr[ʤəʊb]1 Jobjob ['ʤɑb] n1) : trabajo mhe did odd jobs for her: le hizo algunos trabajos2) chore, task: tarea f, quehacer m3) employment: trabajo m, empleo m, puesto mn.• Job s.m.dʒəʊbnoun Job[dʒɒb]Job's comforter — persona que intentando consolar empeora la situación
1. N1) (=employment) trabajo m, empleo mwhat would the job involve? — ¿en qué consistiría el trabajo or empleo?
what's her job? — ¿de qué trabaja?
we shall create 1,000 new jobs — vamos a crear 1.000 puestos de trabajo más
•
he got a job as a clerk — consiguió un trabajo or empleo de oficinista•
I think he's the best man for the job — creo que es el más apropiado para el puesto•
to be in a job — tener trabajo•
to look for a job — buscar (un) trabajo or empleo•
to be out of a job — estar sin trabajo or empleoif they go bankrupt we'll all be out of a job — si se arruinan nos quedaremos todos sin trabajo or empleo
day 2.to put sb out of a job — quitar el trabajo or empleo a algn
2) (=piece of work) trabajo mit was a big job — dio mucho trabajo, era mucho trabajo
•
I'm paid by the job — me pagan a destajo•
I've got a few jobs to do — tengo algunas cosillas que hacerto do a job for sb — hacer un encargo para algn, hacer un recado a algn
can you do a job for me? — ¿te puedo hacer un encargo?, ¿te puedo encargar algo?
•
to know one's job — conocer el oficio•
you've made a good job of painting the doors — has pintado muy bien las puertas•
he's out on a job at the moment — en este momento ha salido a hacer un trabajoon the job: he fell asleep on the job — se quedó dormido trabajando
there was no formal training - they learned on the job — no se ofrecía formación específica - aprendían trabajando or sobre la marcha
to be on the job * — (=having sex) estar haciéndolo *
- fall down on the jobhatchet, nose 4., odd 3., repair I, 3.3) (Comput) trabajo m4) (=duty, responsibility)that's not my job — eso no me incumbe a mí, eso no me toca a mí
he's only doing his job — está cumpliendo con su deber, nada más
5) * (=undertaking)it's quite a job, bringing up five children — es una tarea bastante dura, criar a cinco hijos
6) * (=difficulty)to have a (hard) job doing/to do sth: we're having a hard job keeping up with the demand — nos está costando trabajo satisfacer la demanda
we had quite a job getting here! — ¡vaya que nos costó (trabajo) llegar!
7) * (=state of affairs)•
it's a good job he didn't see us — menos mal que no nos vio- make the best of a bad job- give sth up as a bad job8) * (=crime) golpe * mput-uphe was caught doing a bank job — lo cogieron or (LAm) agarraron asaltando un banco
9) (Brit)* (=thing)this machine is just the job — esta máquina nos viene que ni pintada *, esta máquina nos viene al pelo *
a holiday in Majorca would be just the job — unas vacaciones en Mallorca nos vendrían de perlas or de maravilla
10) (Brit)* (child language)2. VI1) (=do casual work) hacer trabajos temporales2) (=work as middleman)3.CPDjob action N — (US) movilización f (de trabajadores)
job advertisement N — oferta f de trabajo or empleo, anuncio m de trabajo or empleo
job analysis N — (Ind) análisis m del trabajo, análisis m ocupacional
job applicant N — solicitante mf de empleo or trabajo, aspirante mf (a un puesto)
job application N — solicitud f de trabajo or empleo
Job Centre N — = Jobcentre
job control language N — lenguaje m de control de trabajo
job creation N — creación f de empleo, creación f de puestos de trabajo
job creation scheme N — plan m de creación de puestos de trabajo, plan m de creación de nuevos empleos
job description N — descripción f del trabajo
job evaluation, job grading N — evaluación f de empleos
job holder N — empleado(-a) m / f
job hunting N — búsqueda f de trabajo, búsqueda f de empleo
to go job hunting — salir a buscar trabajo or empleo
job interview N — entrevista f de trabajo
job losses NPL — pérdida fsing de puestos de trabajo
to buy/sell sth as a job lot — comprar/vender algo en un lote
job market N — mercado m laboral
job number N — número m del trabajo
job opportunity N — oportunidad f de trabajo
job queue N — (Comput) cola f de trabajos
job requirement N — requisito m para el puesto
communication skills are a job requirement in public relations — la capacidad de comunicación es un requisito para el puesto de relaciones públicas
job satisfaction N — satisfacción f en el trabajo, satisfacción f profesional
job search N — búsqueda f de trabajo or empleo
job security N — seguridad f en el trabajo
job seeker N — demandante mf de empleo, persona f que busca trabajo
job seeker's allowance N — (Brit) prestación f por desempleo
job sharing N —
I'm interested in the possibility of job sharing — me interesaría poder compartir el empleo con otra persona
job specification N — (for post) requisitos mpl para el puesto
job vacancy N — puesto m vacante
* * *[dʒəʊb]noun JobJob's comforter — persona que intentando consolar empeora la situación
См. также в других словарях:
Formal specification — A formal specification is a mathematical description of software or hardware that may be used to develop an implementation. It describes what the system should do, not (necessarily) how the system should do it. Given such a specification, it is… … Wikipedia
Specification language — A specification language is a formal language used in computer science.Unlike most programming languages, which are directly executable formal languages used to implement a system, specification languages are used during systems analysis,… … Wikipedia
Property Specification Language — Die Property Specification Language (PSL), auf Deutsch etwa Beschreibungssprache für Eigenschaften , wurde von Accellera entwickelt, um Eigenschaften oder Assertions beim Entwurf von Hardware Designs zu spezifizieren. Diese Eigenschaften können… … Deutsch Wikipedia
Meta-IV (specification language) — The Meta IV (pronounced like metaphor ) was an early version of the specification language of the Vienna Development Method formal method for the development of computer based systems. Contents 1 History 2 The Schools of VDM 2.1 The Danish School … Wikipedia
Language Of Temporal Ordering Specification — (LOTOS) is a formal specification language based on temporal ordering used for protocol specification in ISO OSI standards. It was published as ISO 8807 in 1990 and describes the order in which events occur.ee also* Formal methods * List of ISO… … Wikipedia
Common Algebraic Specification Language — The Common Algebraic Specification Language (CASL) is a general purpose specification language based on first order logic with induction. Partial functions and subsorting are also supported. CASL has been designed by CoFI, the Common Framework… … Wikipedia
Specification (technical standard) — Specification redirects here. For other uses, see Specification (disambiguation). A specification (often abbreviated as spec) is an explicit set of requirements to be satisfied by a material, product, or service.[1] Should a material, product or… … Wikipedia
Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… … Wikipedia
Formal — The term formal has a number of uses, including:General*relating to formality *opposite of informalocial* Formal occasion ** Formal attire worn on such occasions ** Formals are particular meals at some British universities ** In Australian or… … Wikipedia
Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… … Wikipedia
Modeling language — A modeling language is any artificial language that can be used to express information or knowledge or systems in a structure that is defined by a consistent set of rules. The rules are used for interpretation of the meaning of components in the… … Wikipedia
